bitkeeper revision 1.1159.152.2 (41888c5cOyibgfpHguqKzExMQ91-Ew)

Ensure that dist/ directory is properly populated by xen-clone.

diff --git a/tools/misc/xen-clone b/tools/misc/xen-clone
index 0ec95ee4647e94e9ebbaa175c25e9e47bcc06a3e..a9c20d09f98f778d9c695b9a827a405d7ac1f936 100755 (executable)
--- a/tools/misc/xen-clone
+++ b/tools/misc/xen-clone
@@ -80,6 +80,7 @@ then
 
  make -j4 world
  make -j4 linux24
+ make -j4 dist
  cd ../install/boot
  [ -r vmlinuz-2.6.*-xen0 ] && ln -s vmlinuz-2.6.*-xen0 xenolinux.gz